аксиома независимости

См. также в других словарях:

• АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… …   Философская энциклопедия

• аксиома — Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником [ГОСТ 34.320 96] аксиома Предложение, принимаемое за истину без доказательств. Аксиомы являются исходными предложениями различных теорий. К аксиомам… …   Справочник технического переводчика

• Аксиома параллельности Евклида — Пересечения прямых (анимация) Аксиома параллельности Евклида, или пятый постулат  одна из аксиом, лежащ …   Википедия

• Аксиома — (от греч. axioma значимость, требование) 1) (в математике) предложение, принимаемое без доказательства, рассматриваемое как исходное при построении той или иной математической теории. Система аксиом, являющаяся логическим фундаментом обоснования… …   Начала современного естествознания

• Теория ожидаемой полезности — В экономике, теории игр, теории принятия решений теория ожидаемой полезности  помогает с помощью неопределенности оценить полезность блага с точностью до положительного аффинного преобразования. Содержание 1 Виднейшие представители …   Википедия

• Независимость системы аксиом — У этого термина существуют и другие значения, см. Независимость (значения). Для улучшения этой статьи желательно?: Викифицировать статью. Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное. Независимость… …   Википедия

• НЕЗАВИСИМОСТЬ СИСТЕМЫ АКСИОМ — свойство системы аксиом данной аксиоматич. теории, состоящее в том, что каждая аксиома является независимой, т. е. не является логическим следствием из множества остальных аксиом этой теории. Система аксиом, обладающая этим свойством, наз.… …   Математическая энциклопедия

• Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… …   Большая биографическая энциклопедия

• Система аксиом фон Неймана — Cистема аксиом фон Неймана  Бернайса  Гёделя (NBG, аксиоматика Гёделя  Бернайса) в метаматематике  одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело  Френкеля с …   Википедия

• ВЕРА — один из главных феноменов человеческой жизни. По своей природе В. разделяется на религ. и нерелиг. «Все, что совершается в мире, даже людьми, чуждыми Церкви, совершается верою... весьма многие дела человеческие основаны на вере; и этому не одни… …   Православная энциклопедия

• АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …   Математическая энциклопедия